skip to main content

Explore Research Products in the NSF-PAR

  • Home
  • Search Results
  • Page 1 of 1

Search for: All records

Creators/Authors contains: "Astorga, Angello"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ; ; ; ; ( , Proceedings of the ACM on Programming Languages)
    We present an approach to learn contracts for object-oriented programs where guarantees of correctness of the contracts are made with respect to a test generator. Our contract synthesis approach is based on a novel notion of tight contracts and an online learning algorithm that works in tandem with a test generator to synthesize tight contracts. We implement our approach in a tool called Precis and evaluate it on a suite of programs written in C#, studying the safety and strength of the synthesized contracts, and compare them to those synthesized by Daikon. 
    more » « less
    Full Text Available 
  2. ; ; ; ; ( , 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE))
    null (Ed.)
    Full Text Available 
  3. ; ; ; ; ( , IEEE Transactions on Reliability)
    Full Text Available 
  4. ; ; ; ; ( , Proceedings of 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Short Paper)
    Accepted Manuscript Full Text Available
  5. ; ; ; ; ( , PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation)
    Full Text Available